Functional predicate - PDFSEARCH.IO - Document Search Engine

Functional predicate
Results: 59

#	Item
11	On uniform weak K¨onig’s lemma Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:11:16 Computability theory Proof theory Mathematical logic Predicate logic Logic in computer science Primitive recursive functional Reverse mathematics Primitive recursive function Primitive recursive arithmetic First-order logic Peano axioms Ordinal analysis
12	Advances in gringo series 3 Martin Gebser, Roland Kaminski, Arne K¨onig, and Torsten Schaub? Institut f¨ur Informatik, Universit¨at Potsdam Abstract. We describe the major new features emerging from a significant rede Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2011-04-05 15:02:45 Model theory Quantification Answer set programming Logic programming FO Functional predicate Universal quantification Limit of a function Expected value Predicate
13	Typed Meta-Interpretive Learning for Proof Strategies Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen Muggleton & Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Grammar Linguistics Mathematical logic Syntax FO Finite model theory Argument Lambda calculus Predicate Functional predicate
14	PDF Document Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2014-05-02 10:34:25 Logic Mathematical logic Predicate logic Metalogic Model theory First-order logic Resolution Extension FO Functional dependency
15	Predicate Abstraction and CEGAR for Disproving Termination of Higher-order Functional Programs Takuya Kuwahara1 , Ryosuke Sato2 , Hiroshi Unno3 , and Naoki Kobayashi2 1 Add to Reading List Source URL: www.cs.tsukuba.ac.jp Language: English - Date: 2015-05-18 06:15:46
16	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Functional Synthesis for Linear Arithmetic and Sets Viktor Kuncak, Mika¨ el Mayer, Ruzica Piskac, Philippe Suter? Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-29 17:36:57 Model theory Logic in computer science Constraint programming Predicate logic Semantics Satisfiability Modulo Theories Quantifier elimination First-order logic Function Logic Mathematical logic Mathematics
17	Full Functional Verification of Linked Data Structures Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-04-04 04:21:28 Automated theorem proving Formal methods Logic in computer science Model theory KeY First-order logic Isabelle Formal verification Predicate transformer semantics Mathematics Theoretical computer science Mathematical logic
18	Complete Functional Synthesis Viktor Kuncak Mika¨el Mayer Ruzica Piskac Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-04-01 07:52:40 Model theory Logic in computer science Predicate logic Semantics NP-complete problems Satisfiability Modulo Theories Function First-order logic Quantifier elimination Mathematics Mathematical logic Logic
19	Lisp and Symbolic Computation, 2, ) © 1989 Kluwer Academic Publishers--Manufactured in The Netherlands. Integrating Logic and Functional Programming* HASSAN AIT-KACI ROGER NASR Add to Reading List Source URL: www.hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:30:34 Model theory Lambda calculus Predicate logic Automated theorem proving Logic programming Unification Combinatory logic Fixed-point combinator Interpretation Mathematics Mathematical logic Logic
20	J. LOGIC PROGRAMMING LOGIN: A LOGIC PROGRAMMING BUILT-IN INHERITANCE 1986:3: Add to Reading List Source URL: www.hassan-ait-kaci.net Language: English Mathematical logic Formal languages Automated theorem proving Logic programming Unification Prolog First-order logic Interpretation Functional predicate Logic Model theory Mathematics